interface-link(A;B;l;tg)
== rcv(l,tg) declared in A(source(l))
== & rcv(l,tg) declared in B(destination(l))
== & (rcv(l,tg) declared in B(source(l))) 

latex

Definitions	P & Q, destination(l), A, rcv(l,tg) declared in M, source(l)
FDL editor aliases	interface-link